perm filename PRE.FR[NOT,DBL] blob
sn#139551 filedate 1975-01-09 generic text, type C, neo UTF8
COMMENT ⊗ VALID 00003 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00002 00002 .DEVICE XGP
C00003 00003 .PORTION FRENCHCONF
C00005 ENDMK
C⊗;
.DEVICE XGP
.FONT 1 "NGR25"
.FONT 2 "NGB30"
.FONT 3 "SHD40"
.FONT 4 "BDI25"
.FONT 5 "NGR20"
.TURN ON "↓_π{"
.TURN ON "⊗" FOR "%"
.MACRO B ⊂ BEGIN VERBATIM GROUP ⊃
.MACRO E ⊂ APART END ⊃
.TABBREAK
.COMPACT
.SELECT 1
.PORTION FRENCHCONF
.NEXT PAGE
.GROUP SKIP 3
.BEGIN FLUSH RIGHT
Douglas B. Lenat
Artificial Intelligence Laboratory
Computer Science Department
Stanford University
Stanford, California 94305, USA
Telephone 415-497-4971
{DATE}
.END
.B
Public Relations Department
Institut de Recherche d'Informatique
Domaine de Volceau
78150 Le Chesnay, France
.E
.SELECT 2
Dear Sirs,
.SKIP 2
.INDENT 6
I am happy to respond to your call for papers for the
International
Symposium on Proving and Improving Programs. I wish to present a paper
entitled, ⊗4Synthesis of Large Programs From Specific Dialogues⊗*. Four copies
have been dispatched to you, and should arrive before 15 January. If you do not
receive them, please contact me; my address and telephone number are above.
Thank you very much.
.B
Sincerely yours,
.E